University of Udine - Autonomous robot control, behaviour-based planning, coordination among autonomus agents, self-organization in autonomous robotics.

University of Cambridge - Neuroscience, statistical pattern recognition, wavelets, computer vision.

Carnegie Mellon University - Standard ML with refinement-type checking, relationships between modal logics and programming languages.

University of Cambridge - Applications of logic to computing, finite model theory, computational complexity.

Technology Evangelist at Sun Microsystems, interests include software and aerospace engineering, molecular nanotechnology, streaming media and multimedia, java, and computer graphics.

School of Computer Science, Carleton University - Parallel Computing, Coarse Grained Parallel Algorithms, Parallel Data Mining and OLAP, Computational Geometry, Image Processing

Dorothy E. Denning is the Patricia and Patrick Callahan Family Professor of Computer Science and Director of the Georgetown Institute for Information Assurance at Georgetown University. She is also affiliated with the Communication, Culture, and Techn...

Indian Institute of Technology, Bombay - Distributed Algorithms, Programming Languages, Operating Systems, Optimizing Compilers

University of Udine - Real number computability, semantics of concurrency, lambda-calculus.

Indian Institute of Technology, Bombay - Algorithms, Graph theory, Combinatorics